Feeds to Scour
SubscribedAll
Scoured 19454 posts in 312.8 ms
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
arxiv.org·4d
🧮SMT Solvers
Build a Compiler in Five Projects
kmicinski.com·5h
🔨Compilers
First Proof | Research-Level Math for AI Evaluation
1stproof.org·1d·
Discuss: Hacker News
🎯Performance Proofs
Railway Oriented Programming
fsharpforfunandprofit.com·1d·
Discuss: Hacker News
🐚Shell Monads
ChatGPT vs. Logic: Why AI Code is Slower
dev.to·20h·
Discuss: DEV
🌊Streaming Algorithms
Logic for Programmers New Release and Next Steps
buttondown.com·3d
⚙️Proof Engineering
Python’s Truthiness: A Code Smell Worth Sniffing
owl.billpg.com·21h·
Discuss: Hacker News
🧪Binary Fuzzing
Taming the Regex Monster: Optimizing Massive Literal Alternations
modern-c.blogspot.com·1d·
Discuss: r/golang
🔍RegEx Engines
Agentic Proof-Oriented Programming
risemsr.github.io·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
outer measure in nLab
ncatlab.org·2d
🔢Denotational Semantics
Differential Logic • 1
inquiryintoinquiry.com·1d
📏Linear Logic
10-Part Series on Breadth-First Traversals in Haskell
doisinkidney.com·1d·
Discuss: Hacker News
🔗Functional Compilers
SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
arxiv.org·1d
🧠Separation Logic
Let Lambda Come Over
yamlscript.org·10h
⬆️Lambda Lifting
Google's PaperBanana uses five AI agents to auto-generate scientific diagrams
the-decoder.com·6h
📄Document AI
News for January 2026
ptreview.sublinear.info·1d
📐Linear Algebra
**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...
freederia.com·23h
🤝Consensus Protocols
stdlib v7.2
erlang.org·1d·
Discuss: Hacker News
🦀Rusty Databases
EBM vs. LLMs: Our Kona EBM a 96% vs. 2% Sudoku Benchmark
logicalintelligence.com·1d·
Discuss: Hacker News
🧮SMT Solvers
When cost models hit the wall clock
futhark-lang.org·3d
📼Tape Combinators

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help